OpBind.agda:8,7-8
Not in scope:
  ! at OpBind.agda:8,7-8
    (did you mean
       'R._!' or
       '_!'?)
when scope checking !
